SHACL Rules - content planning #554
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
TallTed
reviewed
Sep 15, 2025
| <p> | ||
| See SHACL AF <a href="https://www.w3.org/TR/shacl-af/#rules-syntax">`sh:rule`</a>, | ||
| which describes <a href="https://w3c.github.io/shacl/shacl-af/index.html#TripleRule">triple rules</a>, | ||
| with a special case of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a> |
There was a problem hiding this comment.
Suggested change
| with a special case of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a> | |
| with special cases | |
| of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a> |
TallTed
reviewed
Sep 15, 2025
Comment on lines
+1176
to
+1179
| At one level, nothing needs top done because they have separate evaluation | ||
| and it is only a matter of whether an engine supports them or not. | ||
| It might be helpful to say when they happen (before 1.2 Rules - seea also defaul values) | ||
| and can infer if they generate infered triple. |
There was a problem hiding this comment.
Suggested change
| At one level, nothing needs top done because they have separate evaluation | |
| and it is only a matter of whether an engine supports them or not. | |
| It might be helpful to say when they happen (before 1.2 Rules - seea also defaul values) | |
| and can infer if they generate infered triple. | |
| At one level, nothing needs to be done because they have separate evaluation | |
| and it is only a matter of whether an engine supports them or not. | |
| It might be helpful to say when they happen (before 1.2 Rules — see also default values) | |
| and can infer whether they generate inferred triple. |
TallTed
reviewed
Sep 15, 2025
| <p>@@ Discussion</p> | ||
| <p> Define a new rule that is another rule with some variables already set</p> | ||
| <ul> | ||
| <li>Where do the setting come from?</li> |
There was a problem hiding this comment.
Suggested change
| <li>Where do the setting come from?</li> | |
| <li>Where do the settings come from?</li> |
TallTed
reviewed
Sep 15, 2025
| <h2>More on evaluation</h2> | ||
| <div class="ednote"> | ||
| <p>@@ Discussion</p> | ||
| <p>The main evaluatiuon description creates all inferred triple using |
There was a problem hiding this comment.
Suggested change
| <p>The main evaluatiuon description creates all inferred triple using | |
| <p>The main evaluation description creates all inferred triples using |
TallTed
reviewed
Sep 15, 2025
Comment on lines
+1217
to
+1220
| <p>Negation (e.g. via SPARQL `NOT EXISTS`/`EXISTS`) can allowed if | ||
| the pattern is executed only one the base data graph, not including the | ||
| inferred graph. i.e. inferred triples are not seen. | ||
| Or stratification - not seeing inferred tripels from the current stratum. |
There was a problem hiding this comment.
Suggested change
| <p>Negation (e.g. via SPARQL `NOT EXISTS`/`EXISTS`) can allowed if | |
| the pattern is executed only one the base data graph, not including the | |
| inferred graph. i.e. inferred triples are not seen. | |
| Or stratification - not seeing inferred tripels from the current stratum. | |
| <p>Negation (e.g., via SPARQL `NOT EXISTS`/`EXISTS`) can be allowed if | |
| the pattern is executed only on the base data graph, not including the | |
| inferred graph, i.e., inferred triples are not seen. | |
| Or stratification — not seeing inferred triples from the current stratum. |
TallTed
reviewed
Sep 15, 2025
Comment on lines
+1231
to
+1233
| Assignment takes the rule lanuage outside datalog. | ||
| Can we define when it is "safe"? (e.g. triples involving the assignment | ||
| are not mentioned in the body of any other rule). |
There was a problem hiding this comment.
Suggested change
| Assignment takes the rule lanuage outside datalog. | |
| Can we define when it is "safe"? (e.g. triples involving the assignment | |
| are not mentioned in the body of any other rule). | |
| Assignment takes the rule language outside datalog. | |
| Can we define when it is "safe" (e.g., triples involving the assignment | |
| are not mentioned in the body of any other rule)? |
TallTed
reviewed
Sep 15, 2025
Comment on lines
+1243
to
+1247
| Currently, SHACL Rules is, in datatlog-speak, only unnamed 3-tuples. | ||
| To support "programming" in rules, should we allow transient (not part of the output, | ||
| only during rulset evaluation) named n-tuples? <br/> | ||
| e.g. <code>name(termOrVar, ...)</code>, possibly with a unique marker e.g. <code>`</code> | ||
| giving <code>`name(termOrVar, ...)</code>. |
There was a problem hiding this comment.
Suggested change
| Currently, SHACL Rules is, in datatlog-speak, only unnamed 3-tuples. | |
| To support "programming" in rules, should we allow transient (not part of the output, | |
| only during rulset evaluation) named n-tuples? <br/> | |
| e.g. <code>name(termOrVar, ...)</code>, possibly with a unique marker e.g. <code>`</code> | |
| giving <code>`name(termOrVar, ...)</code>. | |
| Currently, SHACL Rules are, in datatlog-speak, only unnamed 3-tuples. | |
| To support "programming" in rules, should we allow transient (not part of the output, | |
| only during rulset evaluation) named n-tuples? <br/> | |
| e.g., <code>name(termOrVar, ...)</code>, possibly with a unique marker, e.g., | |
| <span class="codepoint" translate="no"><bdi lang="en">`</bdi> | |
| <code class="uname">U+0060 grave accent</code></span> | |
| giving <code>`name(termOrVar, ...)</code>. |
simonstey
reviewed
Sep 23, 2025
| <pre class="example-rules"> | ||
| PREFIX : <http://example/> | ||
| PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> | ||
| PREFIX shr <http://www.w3.org/ns/shacl-rules#> |
There was a problem hiding this comment.
so is this now shr or slr?
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is a sketch for discussion and refinement; do not merge.
Editors noted added at section 6.